Opfer zweiter Klasse – gutta cavat lapidem

Nichtlineare Integro-Differentialgleichungen zweiter Ordnung

Analysing Temporally Annotated Corpora with CAVaT

We present CAVaT, a tool that performs Corpus Analysis and Validation for TimeML. CAVaT is an open source, modular checking utility for statistical analysis of features specific to temporally-annotated natural language corpora. It provides reporting, highlights salient links between a variety of general and time-specific linguistic features, and also validates a temporal annotation to ensure th...

Klassiker Der Theologie Zweiter Band

Eine entscheidbare Klasse n-stelliger Horn-Prädikate

Das Rechnen mit unendlichen Mengen von Grundtermen hat zahlreiche Anwendungen, speziell auf den Gebieten der Programmanalyse und des automatischen Beweisens: z.B. Typ-Inferenz in PROLOG, basierend auf einer oberen Abschätzung der Extension von Prädikaten [9]; Berechnung einfacher Invarianten imperativer Programme [8]; Beschreibung von Bildmengen von Abstraktionsfunktionen in Implementierungsbew...

Objekt und Klasse, Gegenstand und Begriff

Computerprogramme sind in einer Hinsicht Maschinenabläufe, wie der Benzinantrieb oder Fotokopieren. Die objekt-orientierte Software-Entwicklung setzt einen anderen Akzent. Sie modelliert Probleme des konkreten Arbeitsalltags und findet dazu digitale Lösungen. Wie schon der Name sagt, stützt sie sich auf eine tief verankerte Intuition: die Welt besteht nach allgemeiner Meinung aus Gegenständen i...